template<class goto_program_providert>
instruction_set_info_factoryt::instruction_set_info_factoryt(
    const goto_program_providert &provider) :
    body_provider(provider)
{
}
